formeel ontwerpen formal design

Een systeem ontwikkelen met een formele methode die logisch correct is.